$\forall$$T$:Type, $L_{1}$, $L_{2}$:($T$ List). rev($L_{1}$) $\subseteq$ rev($L_{2}$) $\Leftarrow\!\Rightarrow$ $L_{1}$ $\subseteq$ $L_{2}$